The mpt entry is 4 bytes even on x86_64, so we use 4 when
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 25 Aug 2005 15:53:03 +0000 (15:53 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 25 Aug 2005 15:53:03 +0000 (15:53 +0000)
commitd04c0fd02e0cc019b9de0aa9ecdc98b777e5168e
tree1b1f51403255d87eab1ead7dbbbb3ab99c4c3ddf
parent2a17786484b7424607dba0432d7166a1de105e7c
The mpt entry is 4 bytes even on x86_64, so we use 4 when
calculating mpt size.

Signed-off-by: Xin Li <xin.b.li@intel.com>
xen/arch/x86/x86_64/mm.c